law of deduction

演绎定律